Foundations of geometry - PDFSEARCH.IO - Document Search Engine

Foundations of geometry
Results: 51

#	Item
11	SIGACCESS FY’14 Annual Report July 2013 – June 2014 Submitted by: Andrew Sears SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s confere Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-11-11 12:51:19 Theoretical computer science Edsger W. Dijkstra ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Computational Geometry ACM-W International Colloquium on Automata Languages and Programming Gdel Prize Symposium on Foundations of Computer Science
12	Euclid’s Elements as an Equational Theory Vaughan Pratt Stanford University 26 May, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-26 00:36:08 Algebra Mathematics Linear algebra Algebraic structures Abstract algebra Geometry Affine space Universal algebra Euclidean space Geometric algebra Space Foundations of geometry
13	Foundations of Mathematics and Pre-Calculus 10 Sample Questions for Practising Electronic Tools Instructions Add to Reading List Source URL: wuhan.mapleleaf.cn Language: English - Date: 2014-05-30 02:55:03 Calculus Analytic geometry Function Area Slope Calculator Diagram Graph of a function Graph Mathematics Functions and mappings Elementary mathematics
14	EECSSpecial Topic Foundations of Computer Vision Fall 2015 MW 12:00-1:30PM in 1005 DOW Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-04-02 11:19:54 Geometry Projective geometry
15	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
16	Deliverable D3.4 Project acronym Project full title Foundations of (non-)geometric similarities Add to Reading List Source URL: simbad-fp7.eu Language: English - Date: 2010-04-30 03:51:32 Metric geometry Euclidean geometry Euclidean space Linear algebra Non-Euclidean geometry Euclidean distance Geometry Mathematics Space
17	References for the “Algorithmic High Dimensional Geometry” lectures at the Big Data Boot Camp, Simons Institute, Berkeley Alexandr Andoni Microsoft Research SVC September 4, 2013 Add to Reading List Source URL: www.mit.edu Language: English - Date: 2013-09-12 03:13:30 Year of birth missing Discrete geometry Symposium on Foundations of Computer Science Symposium on Theory of Computing Piotr Indyk Machine learning Kenneth L. Clarkson Computational geometry Streaming algorithm Mathematics Geometry Theoretical computer science
18	EC7 – UK SAMPLE CALCULATION IN PILEThe following example has been based on the design example given in “Design of pile foundations following Eurocode 7” by R. Frank. Pile Geometry: Solid circular pile wit Add to Reading List Source URL: www.oasys-software.com Language: English - Date: 2013-01-30 12:14:24 Water Soil mechanics Hydrology Land management Aquifers Soil Deep foundation Friction Shear strength Physics Geotechnical engineering Civil engineering
19	Andr´ e WeilOne of the Century’s most influential pure mathematicians Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:22:20 Number theorists Nicolas Bourbaki Algebraic geometry Number theory Weil conjectures Alexander Grothendieck Riemann hypothesis Foundations of algebraic geometry Mordell–Weil theorem Mathematics Abstract algebra Conjectures
20	Minimizing Necessary Observations for Nondeterministic Planning Robert Mattm¨ uller, Manuela Ortlieb, and Erik Wacker Research Group Foundations of AI, University of Freiburg, Germany {mattmuel,ortlieb,wackere}@informat Add to Reading List Source URL: gki.informatik.uni-freiburg.de Language: English - Date: 2014-07-07 07:15:46 Functional analysis Algebraic geometry Field theory Valuation